Proof Nets and the Complexity of Processing Center-Embedded Constructions
نویسنده
چکیده
This paper shows how proof nets can be used to formalize the notion of “incomplete dependency” used in psycholinguistic theories of the unacceptability of center-embedded constructions. Such theories of human language processing can usually be restated in terms of geometrical constraints on proof nets. The paper ends with a discussion of the relationship between these constraints and incremental semantic interpretation.
منابع مشابه
An Applied Linguistics Look at the Linguistic Comparison of Nominal Group Complexity between Two Samples of a Genre
The roles and effects of changes in syntax on comprehension and processing effort, and the relationships between these two, comprise a large and separate field of inquiry, with the general belief now in place that such changes and variations bring about varied psycholinguistic and discursive implications for comprehension, manifesting themselves differently in different genres.The current study...
متن کاملA rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers
This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...
متن کاملPlanar and braided proof-nets for multiplicative linear logic with mix
We consider a class of graphs embedded in R2 as noncommutative proof-nets with an explicit exchange rule. We give two characterization of such proof-nets, one representing proof-nets as CW-complexes in a two-dimensional disc, the other extending a characterization by Asperti. As a corollary, we obtain that the test of correctness in the case of planar graphs is linear in the size of the data. B...
متن کاملA historical experience of local seismic proof shelters in Quchan-northeast of Iran
Despite the utilization of several earthquake resistant traditional techniques in Iranian architecture throughout the centuries, the high seismic vulnerability of Iranian vernacular constructions is obvious. One of the latest innovations in building earthquake-proof emergency dwellings, prior to introducing the modern seismic design codes, took place during the successive destructive earthqu...
متن کاملAn Empirical Evaluation of Sentence Processing Models: Center Embeddings in Hindi
Data from Hindi center-embedding constructions (CECs) are used to evaluate three sentence processing models: Joshi’s Embedded Pushdown Automaton (EPDA), Gibson’s Syntactic Prediction Locality Theory (SPLT), and Lewis’ Interference and Confusability Theory (ICT). The SPLT and ICT (but not the EPDA) are found to correctly predict several processing facts about Hindi. However, the experimental res...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Journal of Logic, Language and Information
دوره 7 شماره
صفحات -
تاریخ انتشار 1998